Live sequence charts to model medical information

From Live Sequence Charts to Distributed Implementation

Mechanized generation of prototypes from high-level specifications has long been an ultimate challenge for software engineering. One high-level specification of great interest is scenario-based sequence diagrams. Sequence diagrams serve as the manifestation of use cases and if synthesizable they could lead directly to implementation. In this work, we propose a method to generate prototypes all ...

Monitoring Systems with Extended Live Sequence Charts

A problem with most runtime verification techniques is that the monitoring specification formalisms are often complex. In this paper, we propose an extension of live sequence charts (LSCs) which avoids this problem. We extend the standard LSCs as proposed by Damm and Harel by introducing the notion of “sufficient prechart”, and by adding concatenation and iteration of charts. With these extende...

The Complexity of Live Sequence Charts

We are interested in implementing a fully automated software development process starting from sequence charts, which have proven their naturalness and usefulness in industry. We show in this paper that even for the simplest variants of sequence charts, there are strong impediments to the implementability of this dream. In the case of a manual development, we have to check the final implementat...

Transformation from live sequence charts to colored Petri nets

Transformation of Live Sequence Charts to Colored Petri Nets (LSCTOCPN)